Max Berthold Clyne

Die Autoren Oliver Berthold Oliver Günther

RFID: Consumer Fears and Consumer Protection RFID introduction is a hotly debated public policy issue. The technology enables physical environments to become more interactive and supportive by tagging each item with a chip that wirelessly communicates with a service-enriched backend infrastructure. Based on a number of user studies at Humboldt-Universität and at the Auto-ID Center, this article...

? ' he Variational Approach to Shape from Shading Berthold

We develop a systeniatic approach to the discovery of parallel iterative echetnrs for s o h i n g t,he sIlape-fro~i~-sl~i~;iirlg problem on a grid. 12 standard procednse Sol-firltlirlg such schetncs is ontlincti, arid s~il,scqncntly usrd to cleri?.c s c ~ e r a i new ones. ' T l ~ c s slli~j)e-froti1-s11i~~lir~g problcni is known to bc ~ i l a t h c ~ i i n i icail) etjrlivAent to a aon-linear ...

Random Max 2-sat and Max Cut

Given a 2-SAT formula F consisting of n variables and b n random clauses, what is the largest number of clauses maxF satisfiable by a single assignment of the variables? We bound the answer away from the trivial bounds of 34 n and n. We prove that for < 1, the expected number of clauses satisfiable is b n o(1); for large , it is ( 34 + (p ))n; for = 1 + ", it is at least (1 + " O("3))n and at m...

Modelling Max-CSP as Partial Max-SAT

We define a number of original encodings that map MaxCSP instances into partial Max-SAT instances. Our encodings rely on the well-known direct and support encodings from CSP into SAT. Then, we report on an experimental investigation that was conducted to compare the performance profile of our encodings on random binary Max-CSP instances. Moreover, we define a new variant of the support encoding...

Max Wellington